#include <stdio.h>
#include <stdarg.h>
#include <string.h>
#include <device/console.h>

static char buf[1024];

int printk(const char *fmt, ...)
{
    va_list ap;
    va_start(ap, fmt);
    int i = vsprintf(buf, fmt, ap);
    va_end(ap);
    console_write(buf, i);
    return i;
}
